SCI '22

第66回 システム制御情報学会 研究発表講演会
TS07
社会システムの制御・計画・検証 (2)
5月20日(金) 11:00-12:15 @第1室
(セッション番号 321)
司会
  1. 榊原 一紀 (富山県立大学)
(講演番号 321-1) (講演登録番号 3189)
11:00
- 11:15
非線形ODEモデルに基づく地中配電線を用いたロードヒーティングシステムのモデリング
  1. 武藤 佑弥 ,
  2. 小島 千昭 ,
  3. 大倉 裕貴 (富山県立大学)
(講演番号 321-2) (講演登録番号 3032)
11:15
- 11:30
信号時相論理仕様付きクープマン・モデル予測制御の温水供給システムへの適用
  1. 宮下 凌 ,
  2. 薄 良彦 ,
  3. 石亀 篤司 (大阪府立大学)
(講演番号 321-3) (講演登録番号 3027)
11:30
- 11:45
到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討
  1. 浅井 智也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
(講演番号 321-4) (講演登録番号 3038)
11:45
- 12:00
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証
  1. 甲斐 雅也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
(講演番号 321-5) (講演登録番号 3167)
12:00
- 12:15
変動する電気価格に対応する運搬経路問題の研究
  1. 前田 千尋 ,
  2. 植田 和樹 ,
  3. 森田 浩 (大阪大学)
「TS07 社会システムの制御・計画・検証 (2)」 の情報を共有
→